Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
741	Miva Script Guide Miva Script version: 4.0x Guide Revision 1.0 Miva Corporation 5060 Santa Fe Street Add to Reading List Source URL: www.miva.mx Language: English - Date: 2013-05-16 22:25:54 Abstract algebra Scripting languages MIVA Script Find Procedural programming languages Miva Merchant Test C Expr Computing Software engineering Computer programming
742	A Semantic Model for Graphical User Interfaces Neelakantan R. Krishnaswami Nick Benton Microsoft Research Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2011-07-12 04:10:50 Logic in computer science Deduction Denotational semantics Sheaf Entailment Combinatory logic Function Functional-theoretic algebra Natural deduction Logic Mathematics Abstract algebra
743	Getting Started with the TI-Nspire™ CX/ TI-Nspire™ CX CAS Handheld This guidebook applies to TI-Nspire™ software version 3.2. To obtain the Add to Reading List Source URL: www.technotronics.in.th Language: English - Date: 2013-11-27 10:25:04 Technology Computing Classes of computers Comparison of Texas Instruments graphing calculators TI-81 Graphing calculators Computer algebra systems TI-Nspire series
744	56 c W.C Carter MITFall 2012 Lecture 4 Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2012-09-05 10:03:10 Computer algebra systems Cross-platform software Mathematica Numerical software Wolfram Research Number Function Exponentiation Polynomial Mathematics Mathematical software Science
745	Conditions for Additional Roots from Maximal-Rank Minors of Macaulay Matrices Deepak Kapur1a , Manfred Minimairb a University of New Mexico, Department of Computer Science, Albuquerque, NM, USA Add to Reading List Source URL: cs.unm.edu Language: English - Date: 2009-06-18 16:04:03 Determinants Matrix Emmy Noether Algebraically closed field Resultant Algebra Mathematics Polynomials
746	ON THE OPTIMALITY OF THE COUNTER SCHEME FOR DYNAMIC LINEAR LISTS Micha Hofri† and Hadas Shachnai Computer Science Department The Technion - Israel Institute of Technology, Haifa 32000, Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-12-15 16:29:35 Permutation Model theory Group theory Parity of a permutation Busy beaver Mathematics Abstract algebra Combinatorics
747	Chiron : Mechanizing Mathematics in OCaml By Hong Ni, B.Science Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2012-05-01 16:42:08 Structure Mathematical logic Formal methods Algebra Boolean algebra Chiron Logic Algorithm Module Mathematics Algebraic structures Theoretical computer science
748	JAVA - QUICK GUIDE http://www.tutorialspoint.com/java/java_quick_guide.htm Copyright © tutorials point.com What is Java? Add to Reading List Source URL: www.tutorialspoint.com Language: English - Date: 2015-04-27 04:47:59 Boolean algebra Procedural programming languages Increment and decrement operators ?: Operand C Boolean data type State space Software engineering Computing Computer programming
749	Automatically Generating Algebra Problems Rohit Singh∗ Sumit Gulwani Sriram Rajamani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-04-24 02:24:40 Software engineering Constraint satisfaction problem Backtracking Function FO Mathematical optimization Decomposition method Local consistency Constraint programming Mathematics Theoretical computer science
750	Using Space-lling Curves for Multi-dimensional Indexing J K Lawder and P J H King School of Computer Science and Information Systems, Birkbeck College, University of London, Malet Street, London WC1E 7HX, United Kingdom Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2000-12-01 11:13:09 Fractal curves Curves R-tree General topology Abstract algebra Space-filling curve Hilbert curve Dimension Singular point of a curve Mathematics Geometry Topology

UPDATE